The section that follows list all the theorems in the \ml{string}
theory in alphabetical order.

%%% Local Variables:
%%% mode: plain-tex
%%% TeX-master: "string"
%%% End:
